#include "util.h"

void printDoubleBits(ostream& o, double d) {
	for(int j=63;  j >= 0; j--){ 
		o << (((*((long long*)&d))>>j) & 1);
		if(j == 63 || j == 52) o << "|";
	}
	o << endl;
}

